241. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
242. Safe and secure software reuse :
پدیدآورنده : John Favaro, Maurizio Morisio (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software -- Reusability -- Congresses.,Computer software -- Reusability.,Software engineering -- Congresses.
رده :
QA76
.
76
.
R47
J646
2013
243. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
پدیدآورنده : Stefan Leue, Tarja Johanna Systa )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3466
244. Search based software engineering :
پدیدآورنده : Myra B. Cohen, Mel Ó Cinnéide (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses
رده :
QA76
.
6
245. Search based software engineering
پدیدآورنده : Gordon Fraser, Jerffeson Teixeira de Souza (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses
رده :
QA76
.
758
.
I58
2012eb
246. Security and trust management :
پدیدآورنده : Sokratis K. Katsikas, Cristina Alcaraz (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer networks-- Security measures.,Computer programming-- software development.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Programming-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information retrieval.,Information technology: general issues.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
S76
2018
247. Security standardisation research :
پدیدآورنده : Cas Cremers, Anja Lehmann (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Information Technology.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A25
248. Sensor systems and software :
پدیدآورنده : Stephen Hailes, Sabrina Sicari, George Roussos (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Wireless sensor networks, Congresses.,Computer Applications.,Computer Communication Networks.,Computer Science.,Computer Systems Organization and Communication Networks.,Computers and Society.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet),Informatique.,Wireless sensor networks.
رده :
TK7872
.
D48
S38
2010
249. Service Oriented and Cloud Computing
پدیدآورنده : \ Schahram Dustdar, Frank Leymann, Massimo Villari (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Cloud computing -- Congresses.,Service-oriented architecture (Computer science) -- Congresses.,محاسبات ابری -- کنگره ها,معماری خدمات‌گرا (کامپیوتر) -- کنگره ها
رده :
QA
76
.
585
.
E8
2015
E-Book
,
250. Service-oriented and cloud computing :
پدیدآورنده : Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cloud computing, Congresses,Service-oriented architecture (Computer science), Congresses
رده :
TK5105
.
5828
.
E86
2013
251. Service-oriented computing :
پدیدآورنده : Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Application software.,Computer networks.,Database management.,Operating systems (Computers),Service-oriented architecture (Computer science), Congresses.,Software engineering.,Application software.,Computer networks.,Database management.,Operating systems (Computers),Software engineering.
رده :
TK5105
.
5828
252. Service-oriented computing :
پدیدآورنده : Paul P. Maglio [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic commerce, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Composite Applications.,Dienstgüte.,Dienstverwaltung.,Electronic commerce.,Electronic data processing-- Distributed processing.,Kundenorientierung.,Prozessmanagement.,Requirements engineering.,Servicegrad.,Serviceorientierte Architektur.,Web Services.,San Francisco Calif., 2010, 7
رده :
QA76
.
9
.
D5
I3224
2010
253. Service-oriented computing :
پدیدآورنده : Claus Pahl, Maja Vukovic, Jianwei Yin, Qi Yu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Service-oriented architecture (Computer science), Congresses.,Service-oriented architecture (Computer science)
رده :
TK5105
.
5828
254. Service-oriented computing
پدیدآورنده : Luciano Baresi, Chi-Hung Chi, Jun Suzuki (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Service-oriented architecture (Computer science), Congresses
رده :
TK5105
.
5828
.
I276
2009eb
255. Service-oriented computing :
پدیدآورنده : E. Michael Maximilien [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic commerce, Congresses,Electronic data processing-- Distributed processing, Congresses,Service-oriented architecture (Computer science), Congresses,Web services, Congresses
رده :
QA76
.
9
.
D5
.
I27
2011
256. Service-oriented computing--ICSOC 2012 Workshops
پدیدآورنده : Aditya Ghose ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Service-oriented architecture (Computer science), Congresses,Web services, Congresses
رده :
QA76
.
9
.
D5
I27
2012
257. Service-oriented computing -- ICSOC 2018 Workshops :
پدیدآورنده : Xiao Liu, Michael Mrissa, Liang Zhang, Djamal Benslimane, Aditya Ghose, Zhongjie Wang, Antonio Bucchiarone, Wei Zhang, Ying Zou, Qi Yu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Service-oriented architecture (Computer science), Congresses.,Service-oriented architecture (Computer science)
رده :
TK5105
.
5828
258. Service-oriented computing--ICSOC 2007 workshops
پدیدآورنده : Elisabetta Di Nitto, Matei Ripeanu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering, Congresses,Computer network architectures, Congresses,Electronic commerce, Congresses,Electronic data processing-- Distributed processing, Congresses,Web services-- Design, Congresses
رده :
TK5105
.
5828
.
I27
2009eb
259. Services Computing - SCC 2019 :
پدیدآورنده : Joao Eduardo Ferreira, Aibek Musaev, Liang-Jie Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information technology, Congresses.,Web services, Congresses.,Information technology.,Web services.
رده :
TK5105
.
88813
.
S33
2019eb
260. Services -- SERVICES 2019 :
پدیدآورنده : Yunni Xia, Liang-Jie Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems, Congresses.,Computer systems.
رده :
QA75
.
5
